DE eng

Search in the Catalogues and Directories

Hits 1 – 6 of 6

1
Grounding, Quantifiers, and Paradoxes
In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://hal.archives-ouvertes.fr/hal-03187627 ; Journal of Philosophical Logic, Springer Verlag, 2021, 50, pp.1417-1448. ⟨10.1007/s10992-021-09604-w⟩ (2021)
BASE
Show details
2
Grounding rules and (hyper-)isomorphic formulas
In: ISSN: 1448-5052 ; Australasian Journal of Logic ; https://hal.archives-ouvertes.fr/hal-02515104 ; Australasian Journal of Logic, Australasian Association for Logic, 2020, 17 (1), pp.70-80 (2020)
BASE
Show details
3
Grounding rules for (relevant) implication
In: ISSN: 1958-5780 ; EISSN: 1166-3081 ; Journal of Applied Non-Classical Logics ; https://hal.archives-ouvertes.fr/hal-02953412 ; Journal of Applied Non-Classical Logics, Taylor & Francis, 2020, pp.26-55. ⟨10.1080/11663081.2020.1850048⟩ (2020)
BASE
Show details
4
On the importance of being analytic. The paradigmatic case of the Logic of Proofs
In: Logique et analyse. - Brüssel : Vakgroep Wijsbegeerte 55 (2012) 219, 443-462
OLC Linguistik
Show details
5
Display calculi and other modal calculi: a comparison
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 173 (2010) 3, 259-279
OLC Linguistik
Show details
6
A contraction-free and cut-free sequent calculus for propositional dynamic logic
In: Studia logica. - Dordrecht : Springer Science + Business Media 94 (2010) 1, 47-72
BLLDB
Show details

Catalogues
0
0
2
0
0
0
0
Bibliographies
1
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
3
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern